totally geodesic submanifold

全测地子流形